A Typing System for an Optimizing Multiple-Backend Tcl Compiler
نویسندگان
چکیده
This paper describes the typing system used by the ICE 2.0 Tcl compiler[Rouse]. The typing system tracks the usage of variables and allows the compiler to reduce the number of instructions required to carry out Tcl instructions. It will also allow future improvements in code emission by making it possible to carry out standard compiler analyses and optimizations[Aho].
منابع مشابه
Parallelizing / Optimizing Frontend Machine - Independent Backend
PROMIS is a multilingual, parallelizing, and retargetable compiler with an integrated frontend and backend operating on a single uniied/universal intermediate representation. This paper describes the organization and the major features of the PROMIS compiler. PROMIS exploits multiple levels of static and dynamic parallelism, ranging from task-and loop-level parallelism to instruction-level para...
متن کاملAn Optimizing Backend for the ML Kit Using a Stack of Regions
Recent research has shown that static memory management is a promising alternative to runtime garbage collection in higher order functional programming languages. Region inference determines where in a program memory can be allocated and deallocated in a stack like manner. We present an optimizing backend for the ML Kit compiler building on region inference. As intermediate representation we us...
متن کاملCompiler Generation from Structural Architecture
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific instruction-set processors (ASIPs) are used to fine-tune hardware platforms to the intended application, demanding the availability of retargetable components throughout the whole tool chain. A very promising approach is t...
متن کاملTowards a More Principled Compiler: Register Allocation and Instruction Selection Revisited
Backend optimizations are a critical part of an optimizing compiler. This thesis develops a principled approach for understanding, evaluating, and solving backend optimization problems. Our principled approach is to develop a comprehensive and expressive model of the backend optimization problem, and design solution techniques for this model that achieve or approach optimality. We apply our pri...
متن کاملGeneration of firmwarecompilers
Development of microprogrammed hardware requires hardware//rmware-codesign: The bottleneck in this development cycle is the manual adjustment of the rmwarecompiler: Each modiication of the hardware makes it necessary to adapt the rmwarecompiler to adjust the rmwareprogram to the changed hardware. This paper shows an approach to generate the rmwarecompiler automatically. Whereas frontend and int...
متن کامل